国外GPS/INS复合制导技术的发展

在分别介绍国外惯性导航系统(INS)和全球定位系统(GPS)的基础上,着重叙述了在导弹和其他武器装备中广泛使用的GPS / INS复合制导技术的发展概况.     

信息技术与初中数学课程整合的实践

当前我国基础教育领域正在进行一场意义深远的课程改革,促进信息技术与课程整合成为其中的重要内容之一。信息技术与中小学数学学科的整合,使得中小学数学教学中学习内容和学习形式、教学观念和教学方式都产生了一系列的变化,本文通过在初中数学教学中进行的信息技术与课程整合实践尝试,总结了将信息技术有效地与中学数学课程整合,可以培养学生学习数学兴趣和实践能力。     

软件静态分析工具综述

为了在软件生命周期的编码阶段尽可能多地发现软件缺陷以降低软件成本和开发时间,需要对被测程序源代码实施软件静态分析,软件静态分析最有效的手段是使用软件静态分析工具。针对C程序常见的软件缺陷,通过对几种主流静态分析工具的功能性对比分析,探讨了软件静态分析工具的优缺点及影响软件静态分析工具选择的诸多因素,为软件测试人员选择适合自己的软件静态分析工具提供参考。     

分队战术训练仿真系统CGF技术

计算机生成兵力(CGF)是攻防对抗作战仿真的重要组成部分和重点研究内容,也是分队战术训练仿真系统的一个重要技术支撑。给出了仿真系统中CGF实体在基于HLA协议下的功能结构和拓扑结构,介绍了仿真系统中CGF建模所研究的内容和实体建模技术,最后指出了将人工智能技术应用于CGF实体行为决策建模的思路。     

面向Agent的海军军械勤务辅助支持系统的逻辑构建

结合分布式人工智能中的Agent技术和军械勤务辅助支持系统的特点 ,研究了面向A gent的军械勤务辅助支持结构。结合该系统介绍了Agent和多Agent系统的概念 ,讨论了A gent的通信机制     

船舶降噪工程技术集成优化方法

在用船舶降噪工程受总体约束强、声学异常多等因素影响,传统新船建造的声学设计方法不能被直接应用。为此,提出了在用船舶降噪工程技术集成优化方法。根据需求设计顶层降噪指标,并通过四项标准进行检验;基于改装前测试数据和降噪技术储备情况,制定初步降噪技术集成方案;通过声学评估迭代,形成优化的指标分配体系和最终的降噪技术集成方案。模型试验验证结果表明,该方法能够有效实现在用船舶降噪工程的技术优化集成。     

舰船柴油主机双机并车功率均衡控制技术

柴油机并车动力装置(CODAD)能大幅度拓展优质柴油机的功率覆盖范围,从而适用于多种舰船推进,是现阶段比较理想的动力形式之一.舰船柴油主机并车后能否稳定可靠地运行,取决于并车柴油机的控制技术,其关键在于控制参与并车柴油机的功率均衡.文中从控制原理角度对并车柴油机的功率均衡控制技术进行了研究,并提出了今后的发展趋势.     

自适应管道有源消声系统的研究

有源消声技术对于管道中低频噪声的控制非常有效。本文描述的自适应管道有源消声系统,性能稳定,对单频的消声量可达30dB,对宽带随机噪声的消声量不低于14dB。     

快速设计月球卫星转移轨道的一种代数法

提出了一种将圆锥曲线拼接法与历表相结合 ,快速设计月球卫星地月转移轨道的方法。此方法是一种无需轨道积分的纯代数计算方法 ,具有速度快、精度高的特点 ,可用于月球卫星转移轨道的初步设计。将初步设计获得的参数作为精确设计的初值 ,能大大缩短精确轨道设计参数的时间。     

Concise RLT forms of binary programs: A computational study of the quadratic knapsack problem

The reformulation‐linearization technique (RLT) is a methodology for constructing tight linear programming relaxations of mixed discrete problems. A key construct is the multiplication of “product factors” of the discrete variables with problem constraints to form polynomial restrictions, which are subsequently linearized. For special problem forms, the structure of these linearized constraints tends to suggest that certain classes may be more beneficial than others. We examine the usefulness of subsets of constraints for a family of 0–1 quadratic multidimensional knapsack programs and perform extensive computational tests on a classical special case known as the 0–1 quadratic knapsack problem. We consider RLT forms both with and without these inequalities, and their comparisons with linearizations derived from published methods. Interestingly, the computational results depend in part upon the commercial software used. © 2009 Wiley Periodicals, Inc. Naval Research Logistics, 2010